翻訳と辞書
Words near each other
・ Parti Sosialis Malaysia
・ Parti Unité Nationale
・ Parti Vert Haïtien
・ Parti éléphant blanc de Montréal
・ Parti équitable
・ Parti-coloured bat
・ Partia e Fortë
・ Partiaga Department
・ Partial
・ Partial agonist
・ Partial agreement
・ Partial algebra
・ Partial androgen insensitivity syndrome
・ Partial Answers
・ Partial anterior circulation infarct
Partial application
・ Partial autocorrelation function
・ Partial capo
・ Partial charge
・ Partial cleavage stimulation factor domain
・ Partial cloning
・ Partial cloverleaf interchange
・ Partial concurrent thinking aloud
・ Partial correlation
・ Partial cube
・ Partial current
・ Partial cyclic order
・ Partial defence
・ Partial derivative
・ Partial differential algebraic equation


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Partial application : ウィキペディア英語版
Partial application
: ''Not to be confused with partial evaluation''.
In computer science, partial application (or partial function application) refers to the process of fixing a number of arguments to a function, producing another function of smaller arity. Given a function \scriptstyle f \colon (X \times Y \times Z) \to N , we might fix (or 'bind') the first argument, producing a function of type \scriptstyle\text(f) \colon (Y \times Z) \to N . Evaluation of this function might be represented as f_(2, 3). Note that the result of partial function application in this case is a function that takes two arguments.
== Motivation ==
Intuitively, partial function application says "if you fix the first arguments of the function, you get a function of the remaining arguments". For example, if function ''div'' stands for the division operation ''x'' / ''y'', then ''div'' with the parameter ''x'' fixed at 1 (i.e. ''div'' 1) is another function: the same as the function ''inv'' that returns the multiplicative inverse of its argument, defined by ''inv''(''y'') = 1 / ''y''.
The practical motivation for partial application is that very often the functions obtained by supplying some but not all of the arguments to a function are useful; for example, many languages have a function or operator similar to plus_one. Partial application makes it easy to define these functions, for example by creating a function that represents the addition operator with 1 bound as its first argument.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Partial application」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.